Running Lean
see also
『Running Lean 第3版』